Model Based Test Generation: An Industrial Experience
نویسندگان
چکیده
Software testing is a crucial activity to a successful software project that demands a significant effort. Aiming at improving software quality as well as to reduce the costs of testing process, we developed TaRGeT, a ModelBased Testing (MBT) tool that automatically generates test cases from use case scenarios written in natural language. In this paper we present TaRGeT and show quantitative and qualitative results of the tool's usage in two case studies of Motorola Brazil Test Center. Such studies point that the use of such a MBT tool reduces the effort of test generation process comparing with the current process that is entirely manual.
منابع مشابه
UniTesK: Model Based Testing in Industrial Practice
The article presents UniTesK technology, an automated model based test construction method for use in industrial testing of general-purpose software. The approach presented includes automatic generation of test oracles from software contracts, coverage driven test sequence generation, test artifacts reuse. This work stems from the ISP RAS results of academic research and 10-years experience in ...
متن کاملRequirements-Based Test Generation: An Industrial Perspective
This paper discusses our experience with the deployment of requirements-based test generation within a large industrial setting. In doing so, we present an overview of our technologies and changes to the technical approach needed to aid deployment, specifically the introduction of requirements validation.
متن کاملThe Synergy Between User Experience Design and Software Testing
Formal methods and testing are two important approaches that assist in the development of high quality software. Model-based testing (MBT) is a systematic approach to testing where using formal models enables automatic generation of test cases and test oracle. Although the results of applying MBT in practice are promising, creating formal models is an obstacle for wide-spread use of MBT in indu...
متن کاملIncorporating Formal Techniques into Industrial Practice
We report about experiences with component-based development supported by formal techniques at Philips Healthcare. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کاملIncorporating Formal Techniques into Industrial Practice: an Experience Report
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کامل